Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=D4xC14 and Q=C22

Direct product G=NxQ with N=D4xC14 and Q=C22
dρLabelID
D4xC22xC14224D4xC2^2xC14448,1386

Semidirect products G=N:Q with N=D4xC14 and Q=C22
extensionφ:Q→Out NdρLabelID
(D4xC14):1C22 = D28:16D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):1C2^2448,570
(D4xC14):2C22 = D28:5D4φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14):2C2^2448,611
(D4xC14):3C22 = D28:D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):3C2^2448,690
(D4xC14):4C22 = D28:18D4φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14):4C2^2448,732
(D4xC14):5C22 = D7xC22wrC2φ: C22/C1 → C22 ⊆ Out D4xC1456(D4xC14):5C2^2448,1041
(D4xC14):6C22 = C24:2D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):6C2^2448,1042
(D4xC14):7C22 = C24:3D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):7C2^2448,1043
(D4xC14):8C22 = C24.33D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):8C2^2448,1044
(D4xC14):9C22 = C24.34D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):9C2^2448,1045
(D4xC14):10C22 = D7xC4:D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):10C2^2448,1057
(D4xC14):11C22 = C4:C4:21D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):11C2^2448,1059
(D4xC14):12C22 = C14.382+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):12C2^2448,1060
(D4xC14):13C22 = D28:19D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):13C2^2448,1062
(D4xC14):14C22 = D28:20D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):14C2^2448,1065
(D4xC14):15C22 = C14.422+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):15C2^2448,1066
(D4xC14):16C22 = C14.482+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):16C2^2448,1073
(D4xC14):17C22 = D7xC4:1D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):17C2^2448,1167
(D4xC14):18C22 = C2xD7xD8φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):18C2^2448,1207
(D4xC14):19C22 = C2xD8:D7φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):19C2^2448,1208
(D4xC14):20C22 = D8:13D14φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14):20C2^2448,1210
(D4xC14):21C22 = D7xC8:C22φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14):21C2^2448,1225
(D4xC14):22C22 = SD16:D14φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14):22C2^2448,1226
(D4xC14):23C22 = D8:5D14φ: C22/C1 → C22 ⊆ Out D4xC141128+(D4xC14):23C2^2448,1227
(D4xC14):24C22 = D28.32C23φ: C22/C1 → C22 ⊆ Out D4xC141128+(D4xC14):24C2^2448,1288
(D4xC14):25C22 = D7x2+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14):25C2^2448,1379
(D4xC14):26C22 = D14.C24φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14):26C2^2448,1380
(D4xC14):27C22 = C7xC22:D8φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):27C2^2448,855
(D4xC14):28C22 = C7xD4:4D4φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14):28C2^2448,861
(D4xC14):29C22 = C14.372+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):29C2^2448,1058
(D4xC14):30C22 = C14.402+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):30C2^2448,1063
(D4xC14):31C22 = C14.462+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):31C2^2448,1070
(D4xC14):32C22 = C42:26D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):32C2^2448,1168
(D4xC14):33C22 = D28:11D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):33C2^2448,1170
(D4xC14):34C22 = C42:28D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):34C2^2448,1173
(D4xC14):35C22 = C7xC23:3D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):35C2^2448,1317
(D4xC14):36C22 = C7xC22.29C24φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):36C2^2448,1318
(D4xC14):37C22 = C7xC22.32C24φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):37C2^2448,1321
(D4xC14):38C22 = C7xD4:5D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):38C2^2448,1329
(D4xC14):39C22 = C7xC22.54C24φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14):39C2^2448,1343
(D4xC14):40C22 = C7xD4oD8φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14):40C2^2448,1359
(D4xC14):41C22 = C22xD4:D7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):41C2^2448,1245
(D4xC14):42C22 = C2xD4.D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):42C2^2448,1246
(D4xC14):43C22 = C2xC28:2D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):43C2^2448,1253
(D4xC14):44C22 = C2xC28:D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):44C2^2448,1256
(D4xC14):45C22 = C2xD4:D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):45C2^2448,1273
(D4xC14):46C22 = C28.C24φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14):46C2^2448,1275
(D4xC14):47C22 = (C2xC28):15D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):47C2^2448,1281
(D4xC14):48C22 = C14.1462+ 1+4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):48C2^2448,1283
(D4xC14):49C22 = C22xD4xD7φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):49C2^2448,1369
(D4xC14):50C22 = C22xD4:2D7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):50C2^2448,1370
(D4xC14):51C22 = C2xD4:6D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):51C2^2448,1371
(D4xC14):52C22 = C2xD7xC4oD4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):52C2^2448,1375
(D4xC14):53C22 = C2xD4:8D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):53C2^2448,1376
(D4xC14):54C22 = C14.C25φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14):54C2^2448,1378
(D4xC14):55C22 = C2xC23:D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):55C2^2448,1252
(D4xC14):56C22 = D4xC7:D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):56C2^2448,1254
(D4xC14):57C22 = C2xDic7:D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):57C2^2448,1255
(D4xC14):58C22 = C24:7D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):58C2^2448,1257
(D4xC14):59C22 = C14.1452+ 1+4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):59C2^2448,1282
(D4xC14):60C22 = C14xC22wrC2φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):60C2^2448,1304
(D4xC14):61C22 = C14xC4:D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):61C2^2448,1305
(D4xC14):62C22 = C7xC22.19C24φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):62C2^2448,1308
(D4xC14):63C22 = C14xC4:1D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):63C2^2448,1313
(D4xC14):64C22 = C7xD42φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):64C2^2448,1328
(D4xC14):65C22 = D8xC2xC14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14):65C2^2448,1352
(D4xC14):66C22 = C14xC8:C22φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):66C2^2448,1356
(D4xC14):67C22 = C7xD8:C22φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14):67C2^2448,1358
(D4xC14):68C22 = C14x2+ 1+4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14):68C2^2448,1389
(D4xC14):69C22 = C7xC2.C25φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14):69C2^2448,1391
(D4xC14):70C22 = C4oD4xC2xC14φ: trivial image224(D4xC14):70C2^2448,1388

Non-split extensions G=N.Q with N=D4xC14 and Q=C22
extensionφ:Q→Out NdρLabelID
(D4xC14).1C22 = C7:C2wrC4φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).1C2^2448,28
(D4xC14).2C22 = (C2xC28).D4φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).2C2^2448,29
(D4xC14).3C22 = C23.D28φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).3C2^2448,30
(D4xC14).4C22 = C23.2D28φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).4C2^2448,31
(D4xC14).5C22 = C24:Dic7φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14).5C2^2448,93
(D4xC14).6C22 = (C22xC28):C4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).6C2^2448,96
(D4xC14).7C22 = C23:C4:5D7φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).7C2^2448,274
(D4xC14).8C22 = C23:D28φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).8C2^2448,275
(D4xC14).9C22 = C23.5D28φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).9C2^2448,276
(D4xC14).10C22 = D7xC23:C4φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).10C2^2448,277
(D4xC14).11C22 = D7xC4.D4φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).11C2^2448,278
(D4xC14).12C22 = M4(2).19D14φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).12C2^2448,279
(D4xC14).13C22 = D28.1D4φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).13C2^2448,280
(D4xC14).14C22 = D28:1D4φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).14C2^2448,281
(D4xC14).15C22 = D28.2D4φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).15C2^2448,282
(D4xC14).16C22 = D28.3D4φ: C22/C1 → C22 ⊆ Out D4xC141128+(D4xC14).16C2^2448,283
(D4xC14).17C22 = Dic7:4D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).17C2^2448,290
(D4xC14).18C22 = D4.D7:C4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).18C2^2448,291
(D4xC14).19C22 = Dic7:6SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).19C2^2448,292
(D4xC14).20C22 = Dic7.D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).20C2^2448,293
(D4xC14).21C22 = Dic7.SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).21C2^2448,294
(D4xC14).22C22 = D4:Dic14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).22C2^2448,295
(D4xC14).23C22 = Dic14:2D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).23C2^2448,296
(D4xC14).24C22 = D4.Dic14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).24C2^2448,297
(D4xC14).25C22 = C4:C4.D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).25C2^2448,298
(D4xC14).26C22 = C28:Q8:C2φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).26C2^2448,299
(D4xC14).27C22 = D4.2Dic14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).27C2^2448,300
(D4xC14).28C22 = Dic14.D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).28C2^2448,301
(D4xC14).29C22 = (C8xDic7):C2φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).29C2^2448,302
(D4xC14).30C22 = D7xD4:C4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).30C2^2448,303
(D4xC14).31C22 = (D4xD7):C4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).31C2^2448,304
(D4xC14).32C22 = D4:(C4xD7)φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).32C2^2448,305
(D4xC14).33C22 = D4:2D7:C4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).33C2^2448,306
(D4xC14).34C22 = D4:D28φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).34C2^2448,307
(D4xC14).35C22 = D14.D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).35C2^2448,308
(D4xC14).36C22 = D14:D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).36C2^2448,309
(D4xC14).37C22 = D4.6D28φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).37C2^2448,310
(D4xC14).38C22 = D14.SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).38C2^2448,311
(D4xC14).39C22 = D14:SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).39C2^2448,312
(D4xC14).40C22 = C8:Dic7:C2φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).40C2^2448,313
(D4xC14).41C22 = C7:C8:1D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).41C2^2448,314
(D4xC14).42C22 = D4:3D28φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).42C2^2448,315
(D4xC14).43C22 = C7:C8:D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).43C2^2448,316
(D4xC14).44C22 = D4.D28φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).44C2^2448,317
(D4xC14).45C22 = C56:1C4:C2φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).45C2^2448,318
(D4xC14).46C22 = D4:D7:C4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).46C2^2448,319
(D4xC14).47C22 = D28:3D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).47C2^2448,320
(D4xC14).48C22 = D28.D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).48C2^2448,321
(D4xC14).49C22 = C24:D14φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14).49C2^2448,566
(D4xC14).50C22 = (C2xC14).D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).50C2^2448,567
(D4xC14).51C22 = C4:D4.D7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).51C2^2448,568
(D4xC14).52C22 = (C2xD4).D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).52C2^2448,569
(D4xC14).53C22 = D28:17D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).53C2^2448,571
(D4xC14).54C22 = C7:C8:22D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).54C2^2448,572
(D4xC14).55C22 = C4:D4:D7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).55C2^2448,573
(D4xC14).56C22 = Dic14:17D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).56C2^2448,574
(D4xC14).57C22 = C7:C8:23D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).57C2^2448,575
(D4xC14).58C22 = C7:C8:5D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).58C2^2448,576
(D4xC14).59C22 = C22:C4:D14φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).59C2^2448,587
(D4xC14).60C22 = C42.61D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).60C2^2448,588
(D4xC14).61C22 = C42.62D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).61C2^2448,589
(D4xC14).62C22 = C42.213D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).62C2^2448,590
(D4xC14).63C22 = D28.23D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).63C2^2448,591
(D4xC14).64C22 = C42.64D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).64C2^2448,592
(D4xC14).65C22 = C42.214D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).65C2^2448,593
(D4xC14).66C22 = C42.65D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).66C2^2448,594
(D4xC14).67C22 = C42:5D14φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).67C2^2448,595
(D4xC14).68C22 = D28.14D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).68C2^2448,596
(D4xC14).69C22 = C28.16D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).69C2^2448,604
(D4xC14).70C22 = C42.72D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).70C2^2448,605
(D4xC14).71C22 = C28:2D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).71C2^2448,606
(D4xC14).72C22 = C28:D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).72C2^2448,607
(D4xC14).73C22 = C42.74D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).73C2^2448,608
(D4xC14).74C22 = Dic14:9D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).74C2^2448,609
(D4xC14).75C22 = C28:4SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).75C2^2448,610
(D4xC14).76C22 = D8xDic7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).76C2^2448,683
(D4xC14).77C22 = Dic7:D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).77C2^2448,684
(D4xC14).78C22 = C56:5D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).78C2^2448,685
(D4xC14).79C22 = D8:Dic7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).79C2^2448,686
(D4xC14).80C22 = (C2xD8).D7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).80C2^2448,687
(D4xC14).81C22 = C56:11D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).81C2^2448,688
(D4xC14).82C22 = C56.22D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).82C2^2448,689
(D4xC14).83C22 = C56:6D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).83C2^2448,691
(D4xC14).84C22 = Dic14:D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).84C2^2448,692
(D4xC14).85C22 = C56:12D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).85C2^2448,693
(D4xC14).86C22 = C56.23D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).86C2^2448,694
(D4xC14).87C22 = SD16xDic7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).87C2^2448,695
(D4xC14).88C22 = Dic7:3SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).88C2^2448,696
(D4xC14).89C22 = Dic7:5SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).89C2^2448,697
(D4xC14).90C22 = SD16:Dic7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).90C2^2448,698
(D4xC14).91C22 = (C7xD4).D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).91C2^2448,699
(D4xC14).92C22 = (C7xQ8).D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).92C2^2448,700
(D4xC14).93C22 = C56.31D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).93C2^2448,701
(D4xC14).94C22 = C56.43D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).94C2^2448,702
(D4xC14).95C22 = D14:6SD16φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).95C2^2448,703
(D4xC14).96C22 = Dic14:7D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).96C2^2448,704
(D4xC14).97C22 = C56:14D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).97C2^2448,705
(D4xC14).98C22 = D28:7D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).98C2^2448,706
(D4xC14).99C22 = Dic14.16D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).99C2^2448,707
(D4xC14).100C22 = C56:8D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).100C2^2448,708
(D4xC14).101C22 = C56:15D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).101C2^2448,709
(D4xC14).102C22 = C56:9D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).102C2^2448,710
(D4xC14).103C22 = C56.44D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).103C2^2448,711
(D4xC14).104C22 = M4(2).D14φ: C22/C1 → C22 ⊆ Out D4xC141128+(D4xC14).104C2^2448,733
(D4xC14).105C22 = M4(2).13D14φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).105C2^2448,734
(D4xC14).106C22 = D28.38D4φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).106C2^2448,735
(D4xC14).107C22 = 2+ 1+4:D7φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).107C2^2448,775
(D4xC14).108C22 = 2+ 1+4.D7φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).108C2^2448,776
(D4xC14).109C22 = C24.56D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).109C2^2448,1039
(D4xC14).110C22 = C24.32D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).110C2^2448,1040
(D4xC14).111C22 = C24.35D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).111C2^2448,1046
(D4xC14).112C22 = C24:4D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).112C2^2448,1047
(D4xC14).113C22 = C24.36D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).113C2^2448,1048
(D4xC14).114C22 = C28:(C4oD4)φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).114C2^2448,1049
(D4xC14).115C22 = C14.682- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).115C2^2448,1050
(D4xC14).116C22 = Dic14:19D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).116C2^2448,1051
(D4xC14).117C22 = Dic14:20D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).117C2^2448,1052
(D4xC14).118C22 = C4:C4.178D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).118C2^2448,1053
(D4xC14).119C22 = C14.342+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).119C2^2448,1054
(D4xC14).120C22 = C14.352+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).120C2^2448,1055
(D4xC14).121C22 = C14.712- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).121C2^2448,1056
(D4xC14).122C22 = C14.722- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).122C2^2448,1061
(D4xC14).123C22 = C14.732- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).123C2^2448,1064
(D4xC14).124C22 = C14.432+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).124C2^2448,1067
(D4xC14).125C22 = C14.442+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).125C2^2448,1068
(D4xC14).126C22 = C14.452+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).126C2^2448,1069
(D4xC14).127C22 = C14.1152+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).127C2^2448,1071
(D4xC14).128C22 = C14.472+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).128C2^2448,1072
(D4xC14).129C22 = C14.492+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).129C2^2448,1074
(D4xC14).130C22 = C14.792- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).130C2^2448,1101
(D4xC14).131C22 = C4:C4.197D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).131C2^2448,1102
(D4xC14).132C22 = C14.802- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).132C2^2448,1103
(D4xC14).133C22 = C14.602+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).133C2^2448,1104
(D4xC14).134C22 = D7xC22.D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).134C2^2448,1105
(D4xC14).135C22 = C14.1202+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).135C2^2448,1106
(D4xC14).136C22 = C14.1212+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).136C2^2448,1107
(D4xC14).137C22 = C14.822- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).137C2^2448,1108
(D4xC14).138C22 = C4:C4:28D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).138C2^2448,1109
(D4xC14).139C22 = C14.612+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).139C2^2448,1110
(D4xC14).140C22 = C14.1222+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).140C2^2448,1111
(D4xC14).141C22 = C14.622+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).141C2^2448,1112
(D4xC14).142C22 = C14.832- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).142C2^2448,1113
(D4xC14).143C22 = C14.642+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).143C2^2448,1114
(D4xC14).144C22 = C14.842- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).144C2^2448,1115
(D4xC14).145C22 = C14.662+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).145C2^2448,1116
(D4xC14).146C22 = C14.672+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).146C2^2448,1117
(D4xC14).147C22 = C14.852- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).147C2^2448,1118
(D4xC14).148C22 = C14.682+ 1+4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).148C2^2448,1119
(D4xC14).149C22 = C14.862- 1+4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).149C2^2448,1120
(D4xC14).150C22 = C42.233D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).150C2^2448,1121
(D4xC14).151C22 = C42.139D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).151C2^2448,1124
(D4xC14).152C22 = D7xC4.4D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).152C2^2448,1126
(D4xC14).153C22 = C42:18D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).153C2^2448,1127
(D4xC14).154C22 = C42.141D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).154C2^2448,1128
(D4xC14).155C22 = D28:10D4φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).155C2^2448,1129
(D4xC14).156C22 = Dic14:10D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).156C2^2448,1130
(D4xC14).157C22 = C42.234D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).157C2^2448,1133
(D4xC14).158C22 = C42.143D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).158C2^2448,1134
(D4xC14).159C22 = C42.144D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).159C2^2448,1135
(D4xC14).160C22 = C42.166D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).160C2^2448,1166
(D4xC14).161C22 = C42.238D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).161C2^2448,1169
(D4xC14).162C22 = C2xD8:3D7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).162C2^2448,1209
(D4xC14).163C22 = C2xD7xSD16φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).163C2^2448,1211
(D4xC14).164C22 = C2xD56:C2φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).164C2^2448,1212
(D4xC14).165C22 = C2xSD16:D7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).165C2^2448,1213
(D4xC14).166C22 = C2xSD16:3D7φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).166C2^2448,1214
(D4xC14).167C22 = D28.29D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).167C2^2448,1215
(D4xC14).168C22 = D8:6D14φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).168C2^2448,1228
(D4xC14).169C22 = D28.33C23φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).169C2^2448,1289
(D4xC14).170C22 = C23.3D28φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).170C2^2448,32
(D4xC14).171C22 = C23.4D28φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).171C2^2448,33
(D4xC14).172C22 = C42:2Dic7φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).172C2^2448,98
(D4xC14).173C22 = C42:3Dic7φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14).173C2^2448,102
(D4xC14).174C22 = C7xC2wrC4φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14).174C2^2448,155
(D4xC14).175C22 = C7xC23.D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).175C2^2448,156
(D4xC14).176C22 = C7xC42:C4φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14).176C2^2448,157
(D4xC14).177C22 = C7xC42:3C4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).177C2^2448,158
(D4xC14).178C22 = 2+ 1+4.2D7φ: C22/C1 → C22 ⊆ Out D4xC141128-(D4xC14).178C2^2448,777
(D4xC14).179C22 = 2+ 1+4:2D7φ: C22/C1 → C22 ⊆ Out D4xC14568+(D4xC14).179C2^2448,778
(D4xC14).180C22 = C7xQ8:D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).180C2^2448,856
(D4xC14).181C22 = C7xD4.8D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).181C2^2448,862
(D4xC14).182C22 = C7xD4.9D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).182C2^2448,863
(D4xC14).183C22 = C7xC2wrC22φ: C22/C1 → C22 ⊆ Out D4xC14564(D4xC14).183C2^2448,865
(D4xC14).184C22 = C7xC23.7D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).184C2^2448,866
(D4xC14).185C22 = C7xC4:D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).185C2^2448,867
(D4xC14).186C22 = C7xC4:SD16φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).186C2^2448,868
(D4xC14).187C22 = C7xD4.2D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).187C2^2448,871
(D4xC14).188C22 = C7xQ8.D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).188C2^2448,872
(D4xC14).189C22 = C7xC8:8D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).189C2^2448,873
(D4xC14).190C22 = C7xC8:7D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).190C2^2448,874
(D4xC14).191C22 = C7xC8:D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).191C2^2448,876
(D4xC14).192C22 = C7xC8:2D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).192C2^2448,877
(D4xC14).193C22 = C7xD4.3D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).193C2^2448,879
(D4xC14).194C22 = C7xD4.4D4φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).194C2^2448,880
(D4xC14).195C22 = C7xC22.D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).195C2^2448,888
(D4xC14).196C22 = C7xC23.46D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).196C2^2448,889
(D4xC14).197C22 = C7xC23.19D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).197C2^2448,890
(D4xC14).198C22 = C7xC4.4D8φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).198C2^2448,894
(D4xC14).199C22 = C7xC42.78C22φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).199C2^2448,896
(D4xC14).200C22 = C7xC42.28C22φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).200C2^2448,897
(D4xC14).201C22 = C7xC42.29C22φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).201C2^2448,898
(D4xC14).202C22 = C7xC8:5D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).202C2^2448,900
(D4xC14).203C22 = C7xC8:4D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).203C2^2448,901
(D4xC14).204C22 = C7xC8.12D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).204C2^2448,903
(D4xC14).205C22 = C7xC8:3D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).205C2^2448,904
(D4xC14).206C22 = C7xC8.2D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).206C2^2448,905
(D4xC14).207C22 = C42.137D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).207C2^2448,1122
(D4xC14).208C22 = C42.138D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).208C2^2448,1123
(D4xC14).209C22 = C42.140D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).209C2^2448,1125
(D4xC14).210C22 = C42:20D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).210C2^2448,1131
(D4xC14).211C22 = C42:21D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).211C2^2448,1132
(D4xC14).212C22 = C42:22D14φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).212C2^2448,1136
(D4xC14).213C22 = C42.145D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).213C2^2448,1137
(D4xC14).214C22 = Dic14:11D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).214C2^2448,1171
(D4xC14).215C22 = C42.168D14φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).215C2^2448,1172
(D4xC14).216C22 = C7xC22.31C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).216C2^2448,1320
(D4xC14).217C22 = C7xC22.33C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).217C2^2448,1322
(D4xC14).218C22 = C7xC22.34C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).218C2^2448,1323
(D4xC14).219C22 = C7xC22.36C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).219C2^2448,1325
(D4xC14).220C22 = C7xQ8:6D4φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).220C2^2448,1333
(D4xC14).221C22 = C7xC22.47C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).221C2^2448,1336
(D4xC14).222C22 = C7xC22.49C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).222C2^2448,1338
(D4xC14).223C22 = C7xC24:C22φ: C22/C1 → C22 ⊆ Out D4xC14112(D4xC14).223C2^2448,1344
(D4xC14).224C22 = C7xC22.56C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).224C2^2448,1345
(D4xC14).225C22 = C7xC22.57C24φ: C22/C1 → C22 ⊆ Out D4xC14224(D4xC14).225C2^2448,1346
(D4xC14).226C22 = C7xD4oSD16φ: C22/C1 → C22 ⊆ Out D4xC141124(D4xC14).226C2^2448,1360
(D4xC14).227C22 = C28.50D8φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).227C2^2448,541
(D4xC14).228C22 = C28.38SD16φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).228C2^2448,542
(D4xC14).229C22 = D4.3Dic14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).229C2^2448,543
(D4xC14).230C22 = C4xD4:D7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).230C2^2448,547
(D4xC14).231C22 = C42.48D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).231C2^2448,548
(D4xC14).232C22 = C28:7D8φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).232C2^2448,549
(D4xC14).233C22 = D4.1D28φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).233C2^2448,550
(D4xC14).234C22 = C4xD4.D7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).234C2^2448,551
(D4xC14).235C22 = C42.51D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).235C2^2448,552
(D4xC14).236C22 = D4.2D28φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).236C2^2448,553
(D4xC14).237C22 = C2xD4:Dic7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).237C2^2448,748
(D4xC14).238C22 = (D4xC14):6C4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).238C2^2448,749
(D4xC14).239C22 = C2xC28.D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).239C2^2448,750
(D4xC14).240C22 = (C2xC14):8D8φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).240C2^2448,751
(D4xC14).241C22 = (C7xD4).31D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).241C2^2448,752
(D4xC14).242C22 = C4oD4:Dic7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).242C2^2448,766
(D4xC14).243C22 = C28.(C2xD4)φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).243C2^2448,767
(D4xC14).244C22 = (D4xC14).16C4φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14).244C2^2448,771
(D4xC14).245C22 = (C7xD4):14D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).245C2^2448,772
(D4xC14).246C22 = (C7xD4).32D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).246C2^2448,773
(D4xC14).247C22 = C4xD4:2D7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).247C2^2448,989
(D4xC14).248C22 = D4xDic14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).248C2^2448,990
(D4xC14).249C22 = D4:5Dic14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).249C2^2448,992
(D4xC14).250C22 = C42.106D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).250C2^2448,995
(D4xC14).251C22 = D4:6Dic14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).251C2^2448,996
(D4xC14).252C22 = C4xD4xD7φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).252C2^2448,997
(D4xC14).253C22 = C42:11D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).253C2^2448,998
(D4xC14).254C22 = C42.108D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).254C2^2448,999
(D4xC14).255C22 = C42.228D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).255C2^2448,1001
(D4xC14).256C22 = D4xD28φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).256C2^2448,1002
(D4xC14).257C22 = D28:24D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).257C2^2448,1004
(D4xC14).258C22 = Dic14:24D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).258C2^2448,1006
(D4xC14).259C22 = D4:5D28φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).259C2^2448,1007
(D4xC14).260C22 = D4:6D28φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).260C2^2448,1008
(D4xC14).261C22 = C42.229D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).261C2^2448,1010
(D4xC14).262C22 = C42.113D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).262C2^2448,1011
(D4xC14).263C22 = C42.114D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).263C2^2448,1012
(D4xC14).264C22 = C42.115D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).264C2^2448,1014
(D4xC14).265C22 = C42.116D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).265C2^2448,1015
(D4xC14).266C22 = C42.117D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).266C2^2448,1016
(D4xC14).267C22 = C22xD4.D7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).267C2^2448,1247
(D4xC14).268C22 = C2xD4xDic7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).268C2^2448,1248
(D4xC14).269C22 = C2xC28.17D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).269C2^2448,1250
(D4xC14).270C22 = C24.38D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).270C2^2448,1251
(D4xC14).271C22 = C24.41D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).271C2^2448,1258
(D4xC14).272C22 = C2xD4.8D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).272C2^2448,1274
(D4xC14).273C22 = C2xD4.9D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).273C2^2448,1276
(D4xC14).274C22 = C4oD4xDic7φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).274C2^2448,1279
(D4xC14).275C22 = C14.1062- 1+4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).275C2^2448,1280
(D4xC14).276C22 = C14.1072- 1+4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).276C2^2448,1284
(D4xC14).277C22 = (C2xC28):17D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).277C2^2448,1285
(D4xC14).278C22 = C14.1482+ 1+4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).278C2^2448,1287
(D4xC14).279C22 = C2xD4.10D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).279C2^2448,1377
(D4xC14).280C22 = C2xC23:Dic7φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).280C2^2448,753
(D4xC14).281C22 = (D4xC14):10C4φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14).281C2^2448,774
(D4xC14).282C22 = C14xC23:C4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).282C2^2448,817
(D4xC14).283C22 = C7xC23.C23φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14).283C2^2448,818
(D4xC14).284C22 = C14xC4.D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).284C2^2448,819
(D4xC14).285C22 = C7xM4(2).8C22φ: C22/C2 → C2 ⊆ Out D4xC141124(D4xC14).285C2^2448,821
(D4xC14).286C22 = C14xD4:C4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).286C2^2448,822
(D4xC14).287C22 = C7xC23.24D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).287C2^2448,824
(D4xC14).288C22 = C7xC23.36D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).288C2^2448,825
(D4xC14).289C22 = C7xC23.37D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).289C2^2448,826
(D4xC14).290C22 = D8xC28φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).290C2^2448,845
(D4xC14).291C22 = SD16xC28φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).291C2^2448,846
(D4xC14).292C22 = C7xSD16:C4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).292C2^2448,848
(D4xC14).293C22 = C7xD8:C4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).293C2^2448,850
(D4xC14).294C22 = C7xD4:D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).294C2^2448,857
(D4xC14).295C22 = C7xC22:SD16φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).295C2^2448,858
(D4xC14).296C22 = C7xD4.7D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).296C2^2448,860
(D4xC14).297C22 = C7xD4.D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).297C2^2448,869
(D4xC14).298C22 = C7xD4:Q8φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).298C2^2448,882
(D4xC14).299C22 = C7xD4:2Q8φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).299C2^2448,884
(D4xC14).300C22 = C7xD4.Q8φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).300C2^2448,886
(D4xC14).301C22 = C42.102D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).301C2^2448,991
(D4xC14).302C22 = C42.104D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).302C2^2448,993
(D4xC14).303C22 = C42.105D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).303C2^2448,994
(D4xC14).304C22 = C42:12D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).304C2^2448,1000
(D4xC14).305C22 = D28:23D4φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).305C2^2448,1003
(D4xC14).306C22 = Dic14:23D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).306C2^2448,1005
(D4xC14).307C22 = C42:16D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).307C2^2448,1009
(D4xC14).308C22 = C42:17D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).308C2^2448,1013
(D4xC14).309C22 = C42.118D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).309C2^2448,1017
(D4xC14).310C22 = C42.119D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).310C2^2448,1018
(D4xC14).311C22 = C2xC23.18D14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).311C2^2448,1249
(D4xC14).312C22 = C24.42D14φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).312C2^2448,1259
(D4xC14).313C22 = C14.1042- 1+4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).313C2^2448,1277
(D4xC14).314C22 = C14.1052- 1+4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).314C2^2448,1278
(D4xC14).315C22 = C14.1082- 1+4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).315C2^2448,1286
(D4xC14).316C22 = C14xC22.D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).316C2^2448,1307
(D4xC14).317C22 = C14xC4.4D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).317C2^2448,1309
(D4xC14).318C22 = C7xC23.36C23φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).318C2^2448,1312
(D4xC14).319C22 = C7xC22.26C24φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).319C2^2448,1315
(D4xC14).320C22 = C7xC23.38C23φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).320C2^2448,1319
(D4xC14).321C22 = C7xD4:6D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).321C2^2448,1330
(D4xC14).322C22 = C7xQ8:5D4φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).322C2^2448,1331
(D4xC14).323C22 = C7xC22.45C24φ: C22/C2 → C2 ⊆ Out D4xC14112(D4xC14).323C2^2448,1334
(D4xC14).324C22 = C7xC22.46C24φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).324C2^2448,1335
(D4xC14).325C22 = C7xC22.50C24φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).325C2^2448,1339
(D4xC14).326C22 = C7xC22.53C24φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).326C2^2448,1342
(D4xC14).327C22 = SD16xC2xC14φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).327C2^2448,1353
(D4xC14).328C22 = C14xC4oD8φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).328C2^2448,1355
(D4xC14).329C22 = C14xC8.C22φ: C22/C2 → C2 ⊆ Out D4xC14224(D4xC14).329C2^2448,1357
(D4xC14).330C22 = D4xC2xC28φ: trivial image224(D4xC14).330C2^2448,1298
(D4xC14).331C22 = C4oD4xC28φ: trivial image224(D4xC14).331C2^2448,1300
(D4xC14).332C22 = C7xC22.11C24φ: trivial image112(D4xC14).332C2^2448,1301
(D4xC14).333C22 = C7xC23.33C23φ: trivial image224(D4xC14).333C2^2448,1303
(D4xC14).334C22 = C7xD4xQ8φ: trivial image224(D4xC14).334C2^2448,1332
(D4xC14).335C22 = C7xD4:3Q8φ: trivial image224(D4xC14).335C2^2448,1337
(D4xC14).336C22 = C14x2- 1+4φ: trivial image224(D4xC14).336C2^2448,1390

׿
x
:
Z
F
o
wr
Q
<